Combining Texts

All the ideas for 'fragments/reports', 'fragments/reports' and 'Believing the Axioms I'

expand these ideas     |    start again     |     specify just one area for these texts

23 ideas

1. Philosophy / D. Nature of Philosophy / 3. Philosophy Defined
2666 Carneades' pinnacles of philosophy are the basis of knowledge (the criterion of truth) and the end of appetite (good) [Carneades, by Cicero]
3. Truth / B. Truthmakers / 10. Making Future Truths
21390 Future events are true if one day we will say 'this event is happening now' [Carneades]
21672 We say future things are true that will possess actuality at some following time [Carneades, by Cicero]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
13011 New axioms are being sought, to determine the size of the continuum [Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / b. Axiom of Extensionality I
13014 Extensional sets are clearer, simpler, unique and expressive [Maddy]
13013 The Axiom of Extensionality seems to be analytic [Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / f. Axiom of Infinity V
13021 The Axiom of Infinity states Cantor's breakthrough that launched modern mathematics [Maddy]
13022 Infinite sets are essential for giving an account of the real numbers [Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / g. Axiom of Powers VI
13023 The Power Set Axiom is needed for, and supported by, accounts of the continuum [Maddy]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
13024 Efforts to prove the Axiom of Choice have failed [Maddy]
13025 Modern views say the Choice set exists, even if it can't be constructed [Maddy]
13026 A large array of theorems depend on the Axiom of Choice [Maddy]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / e. Iterative sets
13019 The Iterative Conception says everything appears at a stage, derived from the preceding appearances [Maddy]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / f. Limitation of Size
13018 Limitation of Size is a vague intuition that over-large sets may generate paradoxes [Maddy]
9. Objects / F. Identity among Objects / 6. Identity between Objects
15825 Carneades denied the transitivity of identity [Carneades, by Chisholm]
10. Modality / A. Necessity / 3. Types of Necessity
21389 Carneades distinguished logical from causal necessity, when talking of future events [Long on Carneades]
16. Persons / F. Free Will / 2. Sources of Free Will
21671 Voluntary motion is intrinsically within our power, and this power is its cause [Carneades, by Cicero]
16. Persons / F. Free Will / 6. Determinism / a. Determinism
21391 Some actions are within our power; determinism needs prior causes for everything - so it is false [Carneades, by Cicero]
16. Persons / F. Free Will / 6. Determinism / b. Fate
21674 Even Apollo can only foretell the future when it is naturally necessary [Carneades, by Cicero]
22. Metaethics / B. Value / 2. Values / i. Self-interest
7398 Carneades said that after a shipwreck a wise man would seize the only plank by force [Carneades, by Tuck]
25. Social Practice / D. Justice / 1. Basis of justice
21392 People change laws for advantage; either there is no justice, or it is a form of self-injury [Carneades, by Lactantius]
25. Social Practice / E. Policies / 5. Education / b. Education principles
13304 Learned men gain more in one day than others do in a lifetime [Posidonius]
27. Natural Reality / D. Time / 1. Nature of Time / d. Time as measure
20820 Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus]